Fuzzy fixed point approach to study the existence of solution for Volterra type integral equations using fuzzy Sehgal contraction

In this manuscript, we present a novel concept known as the fuzzy Sehgal contraction, specifically designed for self-mappings defined in the context of a fuzzy metric space. Our primary objective is to explore the existence and uniqueness of fixed points for self-mappings in fuzzy metric space. To support our conclusions, we present a detailed illustrative case that demonstrates the superiority of the convergence obtained with our suggested method to those currently recorded in the literature. Moreover, we provide graphical depictions of the convergence behavior, which makes our study more understandable and transparent. Additionally, we extend the application of our results to address the existence and uniqueness of solutions for Volterra integral equations.


Introduction
In the realm of mathematics, the study of fixed points and their applications has appeared as a versatile and foundational field.Fixed point theory, a branch of mathematics with a very vast history, explores the existence and properties of points that remain unchanged when subjected to specific transformations.It has found widespread applications across diverse disciplines, including physics, economics, computer science, and engineering providing beneficial insights into the gentle attitude of functions and mappings.
Fixed point theory, in its traditional form, addresses questions like, "Under what conditions does a function have a point that remains unchanged after applying that function?"This seemingly simple question leads to a wealth of mathematical exploration and has provided powerful tools for solving problems with real-world significance.
The concept of fixed points has a rich history dating back to the beginning of 19 th century, with significant contributions from mathematicians like Banach, Kakutani, and Brouwer.They laid the essential groundwork for fixed point theory by flourishing theorems and concepts that continue to shape mathematical research and practical applications today.Since then, fixed point theory has evolved in different disciplines, including functional analysis, topology, optimization, and dynamical systems.
The Banach Contraction Principle [1], named after the mathematician Stefan Banach, is a fundamental theorem in mathematics.It attests to the presence and uniqueness of a fixed point for particular categories of mappings within a metric space..In essence, if a mapping slowly brings points closer to each other, it must have a single point that remains stationary called as a fixed point.This principle has wide-ranging applications, particularly in numerical methods and the study of dynamical systems, making it a vital tool in various mathematical disciplines.
In 1968 Bryant [2], introduced the generalization of the Banach's principle.He attained some results in fixed point theory, where the self mapping might not be a contraction but its n th power becomes a contraction therefore it gives a fixed point for the n th power of self map, which also results in the fixed of the self mapping.
In 1969, V. M. Sehgal [3] also introduced a generalization of the Banach's principle named as sehgal contraction.In this generalization V.M. Sehgal basically generalized the idea of Bryant and introduces one of the generalized contraction where for each point ξ in the space there exist a natural number n(ξ) depends upon ξ which is termed as the power of the self mapping for which the contraction condition satisfied and fixed point is attained resulting in the fixed point of the self map itself, which doesn't satisfy the contraction condition.After that dozen of modifications and generalizations were introduced.
In 1970, L.F. Guseman [4] extended the idea of Sehgal by relaxing the continuity condition to attain fixed point for self maps as discussed by Sehgal.
On the other hand, as mathematics evolved to tackle increasingly complex and ambiguous problems, fuzzy fixed point theory naturally extends from the foundation of fixed point theory.Fuzzy fixed point theory accommodates imprecision and uncertainty of crucial aspects of many world situations.
In 1965 Zadeh [5] extend the set theory's concept by relaxing the well-defined condition and introduced a new concept that named a fuzzy set theory.He gave an idea to deal with the ambiguity in the statements.He introduced a membership function that deals with the containment of the elements in the set and the membership function varies with different scenarios.
In 1975 Kramosil and Michalek pioneered the study of fuzzy metric spaces by applying fuzzy set theory, as described in their work [6].The construction of fuzzy metric space has followed basic idea of the fuzzy set that deals with ambiguity.Schweizer and Sklar [7] introduced the concept of continuous t-norm for the fuzzy metric space.
In 1988 Grabiec, M. [8] was first to introduce the study of fixed point in the fuzzy metric space and give fuzzy version of Banach's principle.He introduced the concept of contraction into the framework of fuzzy metrics, establishing notions of sequence convergence, Cauchy sequences, and completeness within the context of fuzzy metrics.
Recently, Mudasir, et al. gives some new results.In [9] they introduce a novel notion called "Kannan-graph-fuzzy contraction," which combines ideas from Kannan mappings, fuzzy contractions, and graph mappings.This method provides a novel framework for solving nonlinear problems that arise in the real world and has many applications in engineering and technology.In [10] they investigates fixed point convergence in graphical B c -Kannan-contractions within graphical extended b-metric spaces.In [11] using an alternating distance function, they report new findings on coincidence, best proximity, and fixed points in multivalued proximal contractions within b-metric spaces.Furthermore, recent advancements in the field can be found in [12][13][14].
In this manuscript we construct the Sehgal type contraction in fuzzy complete metric space.We will establish our results for continuous mappings and also prove some results omitting continuity.We will embellish our work with a non-trivial example to endorse our results.Furthermore, a thorough numerical and graphical analysis is performed to compare the rates of convergence.Our results clearly demonstrate that our proposed approach exhibits a significantly faster convergence.To further reinforce the validity of our study results, we finally use our results to determine the existence and uniqueness of solutions for Volterra integral equations.

Preliminaries
We will start with all the details required to prove our main results, we display some previous defined result, notations and definitions.Let us start with the basic definition of metric space.
Definition 2.1 [15] Upon satisfying the given conditions, a function % : X � X !R, with a range of non-negative real numbers, is considered a metric, such that: Here % is a metric on X, and the pair (X, %) defines the metric space, with X identified as the ground set.The individual elements ξ, η, z 2 X are recognized as points within this metric space.Consequently, the notation X encompasses the metric space (X, %).
The metric space (%, X) is known to be the complete metric space if and only if each cauchy sequence is converges in the metric space.
Few examples are also presented from the literature [15] to explain the distance or metric.Example 2.2.We have few functions % 1 ; % 2 ; % 3 : R � R !R given as: then % 1 and % 2 be metrics defined on the set of real numbers, R. Furthermore, % 3 is a metric defined on the real numbers excluding zero, denoted as Rf0g.Definition 2.3 [1] Let us take a metric space (X, %), and define a mapping ϑ: X !X.The mapping ϑ is known as contraction if for each ℏ 2 (0, 1), The self mapping ϑ satisfy the following condition: Definition 2.4 [3] Let us take a metric space (X, %), and define a mapping ϑ: X !X.The mapping ϑ is known as Sehgal contraction if there exist ℏ 2 (0, 1), then for each element ξ in X there exist a positive integer n(ξ) such that: %ðW nðxÞ ðxÞ; W nðxÞ ðZÞÞ � ℏ %ðx; ZÞ; 8 Z 2 X: Bryant [3], gives the extension the Banach's principle in the following way.Theorem 2.1.Let us take a complete metric space (X, %), and a self mapping ϑ: X !X, If ϑ n satisfy the condition (1) then, the self map ϑ attain a unique fixed point.
V. M. Sehgal [3] extended the idea of Bryant, and result is defined as below.Theorem 2.2.Let us take a complete metric space (X, %), and define a mapping ϑ: X !X, that is continuous and satisfies the Sahgal contraction for each ξ 0 in X.The mapping ϑ, then has a fixed point α, that is unique and ϑ n (ξ 0 ) ! α for each ξ 0 in X.
Guseman, and Jr. [4] removed the continuity condition in Sehgal result and gives the following theorem.
Theorem 2.3.Let (X, %), be a complete metric space and define a self mapping ϑ: X !X.Assuming that there is a subset of X called B, where WðBÞ is the subset of B, and the self mapping ϑ satisfy the Sahgal contraction condition (2) for each ξ 0 in B and for some x 0 2 B; clfW n ðx 0 Þ : n � 1g � B, then the mapping ϑ has a fixed point α that is unique in B and ϑ n (ξ 0 ) ! α for each ξ 0 in B: If ϑ satisfy the Sahgal contraction condition (2) for every ξ 0 in X, then the unique fixed point α exist in X, and ϑ n (ξ 0 ) ! α for each ξ 0 in X.
We start with the concept of the t-norm and the definition of fuzzy metric space before talking about some significant findings from fuzzy metric space.
Definition 2.5.[7] Let us define a binary operation ❃: ) is an abelian monoid with 1 (unity), where a ❃b � Z ❃g; whenever a � Z and b � g; 8 a; b; g; Z 2 ½0; 1�; then we say that ❃ is a continuous t-norm.
Here are a few illustrative examples of fuzzy metrics space: Then M is fuzzy metric on R and ðR; M; ❃Þ is known as fuzzy metric space.Definition 2.7.[8] Let us take the sequence {ξ n } in a fuzzy metric space (X, M, ❃).We say that the sequence {ξ n } is said to be converges to a point ξ in the fuzzy metric space (X, M, ❃), if Definition 2.8.[8] When each Cauchy sequence within a fuzzy metric space converges, we declare it to be complete.
Similarly, we can define the compactness on the fuzzy metric space.If every sequence in fuzzy metric has a convergent subsequence, the fuzzy metric space is said to be compact.Definition 2.9.[8] Let (X, M, ❃) be a fuzzy metric space and we define a self mapping ϑ defined on X into itself.We say that ϑ is fuzzy contraction if MðWðxÞ; WðZÞ; ℏkÞ � Mðx; Z; kÞ; 8 x; Z 2 X; ℏ 2 ð0; 1Þ Theorem 2.5.[8] We assume that (X, M, ❃) be a complete fuzzy metric space, and define a self mapping ϑ: X !X, which satisfy the condition (4).Then the self mapping ϑ have a unique fixed point.

Primary results on fuzzy Sehgal contraction
Let us start this section with the definition of Sehgal Fuzzy contraction in the fuzzy metric space.Definition 3.1.Let us consider (X, M, ❃), be a fuzzy metric space and a self mapping ϑ from X into itself.The mapping ϑ is said to be Fuzzy Sehgal contraction if for each ξ in X, there exist a natural number n(ξ), such that 8 y 2 X and ℏ 2 (0, 1) MðW nðxÞ ðxÞ; W nðxÞ ðZÞ; ℏkÞ � Mðx; Z; kÞ; 8 x; Z 2 X; ℏ 2 ð0; 1Þ: Now, we are equipped with all basic tools.Now, move to our main results.Theorem 3.1.Let us take a complete fuzzy metric space (X, M, ❃), such that Define a self mapping ϑ from X into itself, which is continuous and satisfy condition (5), then the mapping ϑ has a unique fixed point ξ in X, and ϑ n (ξ 0 ) ! ξ, for each ξ 0 in X.
Proof.Let us take an element ξ 0 from the complete fuzzy metric space X, and m 0 = n(ξ 0 ), such that x 1 ¼ W m 0 ðx 0 Þ, and by the induction, we say m i = n(ξ i ) such that x iþ1 ¼ W m i ðx i Þ.Here, our aim to show that the sequence {ξ n } is convergent in fuzzy metric space X.So, we first shoe the sequence {ξ n } is cauchy in X.
Now, take ξ n+p , ξ n and we have by applying the triangular inequality in fuzzy metric space This demonstrates that the sequence ξ n exhibits Cauchy behavior within X. As, X is the complete fuzzy metric, the sequence {ξ n } is converges to a point ξ in X. Since, ϑ is continuous, and we assume that ϑ(ξ) 6 ¼ ξ, then there is different closed neighborhoods V and U, such that x 2 U and WðxÞ 2 V and Hence, M(ϑ(ξ n ), ξ n , κ) ! 1.This means that the lim n!1 ϑ(ξ n ) = lim n!1 (ξ n ), from this we get the fixed point ξ of ϑ in X.
Next, we establish the uniqueness of the fixed point within X.Take two distinct fixed points ξ, η in X, such that ϑ(ξ) = ξ and ϑ(η) = η, such that 1 � Mðx; Z; kÞ ¼ MðWðxÞ; WðZÞ; kÞ Now, as n tends to infinity we get ξ = η, which complete our result.For, sufficiently large number n, we have n = α � n(ξ) + c, with α > 0, 0 � c < n(ξ), then MðW n ðx 0 Þ; x; kÞ ¼ MðW a�nðxÞþc ðx 0 Þ; W nðxÞ ðxÞ; kÞ buy this we get ϑ n (ξ 0 ) tends to ξ, whenever n tends to 1. Now, we will omit the continuity condition to prove the above result.The subsequent lemma plays a crucial role within this context.Lemma 3.2.Let a fuzzy metric space (X, M, ❃) and a self mapping ϑ: X !X.If we take B a subset of X, with WðBÞ � B. Then there exist x 2 B and a natural number n(ξ), such that ϑ n(ξ) = ξ and ϑ satisfy the condition (5) (Fuzzy Sehgal Contraction), then ξ represent a fixed point of ϑ in B which is unique and ϑ n (η 0 ) ! ξ, for each η 0 in B.
Theorem 3.3.Let us take a complete fuzzy metric space (X, M, ❃), and a self mapping ϑ from X into itself, and B subset of X, such that WðBÞ � B; and ϑ satisfy the fuzzy sehgal contraction condition and for some x 0 2 B, clfW n ðx 0 Þ : n � 1g � B. Then there exist a unique fuzzy fixed point ξ in B and ϑ n (η 0 ) ! ξ, for each η 0 in B. If ϑ satisfy fuzzy sehgal contraction (5) in X, the result holds in X.
A detailed analysis can be seen in the table the following Table 1, which shows that our results' convergence rate is significantly faster than that of the Picard operator's.We have selected an initial guess, x 0 = 1 and chose n = 1, and agreed to attain accuracy up to six decimal places.
We present a graphically representation of convergence comparison of the sequences produced by Picard and Sehgal in Fig 1 .as follows:

Application
When the metric space under investigation is a function space, the applications of fixed point theorems become especially intriguing.In this context, we use Theorem 3.1 to investigate the existence and uniqueness of the Volterra integral equation.
If Y is a continuous function defined on the space [a, b] × [a, b], and ϕ is continuous on the interval [a, b], then the Volterra equation is defined as: where Λ is the parameter.

Conclusion
In this work we have introduced the Sehgal fuzzy contraction and established some fixed point results in fuzzy complete metric space.We have proved results using continuity condition and also omitting the continuity condition.We have constructed a non-trivial example to validate our result.Additionally, we carefully analyzed the sequence in our findings using both numerical and graphical methods in order to compare its convergence with the Picard operator.A detailed graphical comparison has been conducted.The outcomes clearly show that our method has a higher rate of convergence than the Picard method.Finally, we applied our methodology to establish the existence and uniqueness of solutions for the Volterra integral equation, thereby enhancing the robustness of our findings.

Future direction
In the future, we plan to enhance the efficiency of contractions further.Additionally, we aim to validate these results across various spaces and for different types of mappings.

Theorem 4 . 1 .
For each L 2 R, the Volterra equation (6) has a unique solution f that is continuous on [a, b].Proof.Let X = C[a, b] the set of all continuous real-valued functions defined on [a, b] with the metric Mðx; Z; kÞ ¼ k kþjxþZj .Since Y is continuous, there exist a constant z > 0 such that |Y (ξ, η)| � z for all ξ, η 2 [a, b].Define a transformation W : f !W ðnðfÞÞ ðfÞ on X by W ðnðfÞÞ ðfðxÞÞ ¼ �ðxÞ þ L Z x a Uðx; ZÞfðZÞdZ ð7Þ

Table 1 . Comparison between Picard and Sehgal.
Which shows that Volterra integral equation has a unique solution.